|
1.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
2.
|
Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan.
by O'Regan, Gerard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
3.
|
Sensing and Systems in Pervasive Computing [electronic resource] : Engineering Context Aware Systems / by Dan Chalmers.
by Chalmers, Dan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
4.
|
Practical Distributed Processing [electronic resource] / by Phillip J. Brooke, Richard F. Paige.
by Brooke, Phillip J | Paige, Richard F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
5.
|
Agile Software Engineering [electronic resource] / by Orit Hazzan, Yael Dubinsky.
by Hazzan, Orit | Dubinsky, Yael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
6.
|
A Concise Introduction to Software Engineering [electronic resource] / by Pankaj Jalote.
by Jalote, Pankaj | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
7.
|
Principles of Programming Languages [electronic resource] / by Gilles Dowek.
by Dowek, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
8.
|
A Concise and Practical Introduction to Programming Algorithms in Java [electronic resource] / by Frank Nielsen.
by Nielsen, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
9.
|
Models of Computation [electronic resource] : An Introduction to Computability Theory / by Maribel Fernández.
by Fernández, Maribel | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
10.
|
Object-Oriented Analysis and Design [electronic resource] / edited by Sarnath Ramnath, Brahma Dathan.
by Ramnath, Sarnath | Dathan, Brahma | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
11.
|
Autonomic Computing [electronic resource] : Principles, Design and Implementation / by Philippe Lalanda, Julie A. McCann, Ada Diaconescu.
by Lalanda, Philippe [author.] | McCann, Julie A [author.] | Diaconescu, Ada [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
12.
|
Concise Guide to Databases [electronic resource] : A Practical Introduction / by Peter Lake, Paul Crowther.
by Lake, Peter [author.] | Crowther, Paul [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
13.
|
Guide to Scientific Computing in C++ [electronic resource] / by Joe Pitt-Francis, Jonathan Whiteley.
by Pitt-Francis, Joe [author.] | Whiteley, Jonathan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available
|
|
14.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar [author.] | Frade, Maria João [author.] | Pinto, Jorge Sousa [author.] | Melo de Sousa, Simão [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
15.
|
Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan.
by O'Regan, Gerard [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
16.
|
Sensing and Systems in Pervasive Computing [electronic resource] : Engineering Context Aware Systems / by Dan Chalmers.
by Chalmers, Dan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
17.
|
Object-Oriented Analysis and Design [electronic resource] / edited by Sarnath Ramnath, Brahma Dathan.
by Ramnath, Sarnath [editor.] | Dathan, Brahma [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|